#! /usr/bin/awk -f
{print "replace into result.res_update(res_table,update_time) values(""trim('"$1"')"",""trim('"$2"')"");"}
